Constant weakest pre-condition
[计] 恒最弱前置条件
🧩 词语组成解析
a. 弱的( weak的最高级 ); 微弱的; 无说服力的; 淡的
abbr. 炼油工程师（Petroleum Refining Engineer）
condition
[kən'dɪʃən]
n. 状态;环境;健康状况;条款;
vt. 制约;限制;使习惯于;使适应;
vt.& vi. 对…具有重要影响;影响（某事发生的方式）;保持（头发或皮肤等的）健康;养护;
con共同+dit给予+ion抽象名词→共同给出的东西 → 条件
🗣️ 情景例句
it's in the cabinet with the salt and pepper.
应该跟盐和胡椒一起放在橱柜 。
He likes playing the drum.
他喜欢打鼓。
Last spring my wife suggested that I call in a man to look at our lawn mower.
今年春天，妻子让我请人检查一下我家的割草机。